system of transitivity

См. также в других словарях:

• Value system — A value system is a set of consistent ethic values (more specifically the personal and cultural values) and measures used for the purpose of ethical or ideological integrity. A well defined value system is a moral code. Personal and communal One… …   Wikipedia

• CC system — In computational geometry, a CC system or counterclockwise system is a ternary relation pqr that satisfies the axioms: Cyclic symmetry: If pqr then qrp. Antisymmetry: If pqr then not prq. Nondegeneracy: Either pqr or prq. Interiority: If tqr and… …   Wikipedia

• POPLmark challenge — In type theory and programming languages, the POPLmark challenge is a set of benchmarks designed to evaluate the state of mechanization in the metatheory of programming languages, and to stimulate discussion and collaboration among a diverse… …   Wikipedia

• Cyclic order — In mathematics, a cyclic order is a way to arrange a set of objects in a circle.[nb] Unlike most structures in order theory, a cyclic order cannot be modeled as a binary relation a < b . One does not say that east is more clockwise than west.… …   Wikipedia

• Arrow's impossibility theorem — In social choice theory, Arrow’s impossibility theorem, the General Possibility Theorem, or Arrow’s paradox, states that, when voters have three or more distinct alternatives (options), no voting system can convert the ranked preferences of… …   Wikipedia

• Hurrian language — Hurrian Spoken in Mitanni Region Mesopotamia Extinct …   Wikipedia

• Mathieu group — Group theory Group theory …   Wikipedia

• Chaos theory — This article is about chaos theory in Mathematics. For other uses of Chaos theory, see Chaos Theory (disambiguation). For other uses of Chaos, see Chaos (disambiguation). A plot of the Lorenz attractor for values r = 28, σ = 10, b = 8/3 …   Wikipedia

• Potentially all pairwise rankings of all possible alternatives — (PAPRIKA) is a method for multi criteria decision making (MCDM) or conjoint analysis based on decision makers’ preferences as expressed using pairwise rankings of alternatives.[1][2] The PAPRIKA method – implemented via a specific type of… …   Wikipedia

• Navajo language — Navajo Diné bizaad Spoken in USA Region Arizona, New Mexico, Utah, Colorado Native speakers 171,000 …   Wikipedia

• Gödel numbering for sequences — A Gödel numbering for sequences provides us an effective way to represent each finite sequence of natural numbers as a single natural number. Of course, the embedding is surely possible set theoretically, but the emphasis is on the effectiveness… …   Wikipedia